On the Logic of Normative Systems
نویسندگان
چکیده
We introduce Normative Temporal Logic (NTL), a logic for reasoning about normative systems. NTL is a generalisation of the well-known branchingtime temporal logic CTL, in which the path quantifiers A (“on all paths. . . ”) and E (“on some path. . . ”) are replaced by the indexed deontic operators Oη and Pη, where for example Oηφ means “φ is obligatory in the context of normative system η”. After defining the logic, we give a sound and complete axiomatisation, and discuss the logic’s relationship to standard deontic logics. We present a symbolic representation language for models and normative systems, and identify four different model checking problems, corresponding to whether or not a model is represented symbolically or explicitly, and whether or not we are given an interpretation for the normative systems named in formulae to be checked. We show that the complexity of model checking varies from P-complete up to EXPTIME-hard for these variations.
منابع مشابه
On the Multimodal Logic of Elementary Normative Systems
We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-Agent Systems. Given a multimodal logic L, with standard Kripke semantics, for every modality 2i and normative system η, we expand the language adding a new modality 2ηi with the intended meaning of 2 η i φ being "φ i...
متن کاملOn the Multimodal Logic of Normative Systems
We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-Agent Systems. Given a multimodal logicL, for every modality 2i and normative system η, we expand the language adding a new modality 2ηi with the intended meaning of 2 η i φ being ”φ is obligatory in the context of th...
متن کاملTen Challenges for Normative Multiagent Systems
In this paper we discuss the shift from a legal to an interactionist view on normative multiagent systems, examples, and ten new challenges in this more dynamic setting. 1 Towards a more dynamic interactionist view Traditionally normative systems have been studied in philosophy, sociology, law, and ethics, and during the past two decades they have been studied in deontic logic in computer scien...
متن کاملWhy Even the Logic of Re-Defined Choice May Still Contradict the Logic of Care in Public Health Systems?
متن کامل
The concept of logic entropy on D-posets
In this paper, a new invariant called {it logic entropy} for dynamical systems on a D-poset is introduced. Also, the {it conditional logical entropy} is defined and then some of its properties are studied. The invariance of the {it logic entropy} of a system under isomorphism is proved. At the end, the notion of an $ m $-generator of a dynamical system is introduced and a version of the Kolm...
متن کامل